(= (+ 4u32 7u32) 11u32)
